Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
نویسندگان
چکیده
منابع مشابه
Complex Systems and Agent-Oriented Software Engineering
Although there is a huge amount of work and valuable proposals about agent oriented software engineering, it seems that the paradigm has not been fully accepted yet by software industry. Some claim that there is a need for a killer application showing the benefits of multi-agent systems with respect to other techniques without any doubt. Others may consider the approach as too academic to be ap...
متن کاملAgent-Oriented Software Engineering
Agent-oriented techniques represent an exciting new means of analysing, designing and building complex software systems. They have the potential to significantly improve current practice in software engineering and to extend the range of applications that can feasibly be tackled. Yet, to date, there have been few serious attempts to cast agent systems as a software engineering paradigm. This pa...
متن کاملAgent-Oriented Software Engineering
to object-oriented systems, better able to address the new demands on software. In multi-agent systems, heterogeneous agents goals. In addition to being a technological building block, an agent, also known as an actor, is an important modeling abstraction that can be used at different stages of software engineering. The authors while teaching agent-related subjects and interacting with industry...
متن کاملAgent Oriented Software Engineering
Considering the great number of agent-oriented methodologies that can be found in literature, and the fact that each one defines its own concepts and system structure, one of the main challenges in AgentOriented Software Engineering research is how to make these methodologies interoperable. By defining in a non ambiguous way concepts used in a specific domain, meta-modelling may represent a ste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2009
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-009-0135-2